منابع مشابه
Normative theory of visual receptive fields
This article gives an overview of a normative computational theory of visual receptive fields, by which idealized shapes of early spatial, spatio-chromatic and spatiotemporal receptive fields can be derived in an axiomatic way based on structural properties of the environment in combination with assumptions about the internal structure of a vision system to guarantee consistent handling of imag...
متن کاملThe "silent" surround of V1 receptive fields: theory and experiments.
The spiking response of a primary visual cortical cell to a stimulus placed within its receptive field can be up- and down-regulated by the simultaneous presentation of objects or scenes placed in the "silent" regions which surround the receptive field. We here review recent progresses that have been made both at the experimental and theoretical levels in the description of these so-called "Cen...
متن کاملReliable Restricted Process Theory
Malfunctions of a mobile ad hoc network (MANET) protocol caused by a conceptual mistake in the protocol design, rather than unreliable communication, can often be detected only by considering communication among the nodes in the network to be reliable. In Restricted Broadcast Process Theory, which was developed for the specification and verification of MANET protocols, the communication operato...
متن کاملAxiomatizing Qualitative Process Theory
We show that the type of reasoning performed by Forbus' 1985] Qualitative Process (QP) program can be justiied in a rst-order theory that models time and other measure spaces as real-valued quantities. We consider the QP analysis of a can of water with a safety valve being heated over a ame. We exhibit a rst-order theory for the microworld involved in this example, and we prove the correctness ...
متن کاملTheory by Process
Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, each can be regarded as a service, an agent behind the scene or an axiom. The operational and observational semantics of the theories are investigated. The power of the approach is demonstrated by interpreting the asynchronous π-...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Acta Informatica
سال: 1992
ISSN: 0001-5903,1432-0525
DOI: 10.1007/bf01178564